A Characteristic Set Method for Equation Solving in F2 and Applications in Cryptanalysis of Stream Ciphers
نویسندگان
چکیده
In this paper, we present a characteristic set method to solve polynomial equation systems in the finite field F2. Due to the special property of F2, the given characteristic set methods are much more efficient and simpler than the general characteristic set method. We also use our methods to solve equations raised from cryptanalysis of stream ciphers based on nonlinear filter generators.
منابع مشابه
A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers
This paper presents a characteristic set method for solving Boolean equations, which is more efficient and has better properties than the general characteristic set method. In particular, the authors give a disjoint and monic zero decomposition algorithm for the zero set of a Boolean equation system and an explicit formula for the number of solutions of a Boolean equation system. The authors al...
متن کاملA Characteristic Set Method for Solving Boolean Equations and Applications in Cryptanalysis of Stream Ciphers1
We present a characteristic set method for solving Boolean equations, which is more efficient and has better properties than the general characteristic set method. In particular, we give a disjoint and monic zero decomposition algorithm for the zero set of a Boolean equation system and an explicit formula for the number of solutions of a Boolean equation system. We also prove that a characteris...
متن کاملA new method for accelerating impossible differential cryptanalysis and its application on LBlock
Impossible differential cryptanalysis, the extension of differential cryptanalysis, is one of the most efficient attacks against block ciphers. This cryptanalysis method has been applied to most of the block ciphers and has shown significant results. Using structures, key schedule considerations, early abort, and pre-computation are some common methods to reduce complexities of this attack. In ...
متن کاملCharacteristic set algorithms for equation solving in finite fields
Efficient characteristic set methods for computing solutions of a polynomial equation system in a finite field is proposed. We introduce the concept of proper triangular sets and prove that proper triangular sets are square-free in certain sense. We present an improved algorithm which can be used to reduce the zero set of an equation system in general form as the union of zero sets of proper tr...
متن کاملEfficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers
Efficient characteristic set methods for computing solutions of a polynomial equation system in a finite field are proposed. We introduce the concept of proper triangular sets and prove that proper triangular sets are square-free and have solutions. We present an improved algorithm which can be used to reduce the zero set of an equation system in general form to the union of zero sets of proper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007